Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
ISBN 13: 9780521886550
Format: Hardcover (366 pages) Publisher: Cambridge University Press Published: 12 Nov 2007
Save for later
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science)
by Margus Veanes,Luca Vigano
ISBN 13: 9783642389153
Format: Paperback (244 pages) Publisher: Springer Published: 07 Jun 2013
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... Networks and Telecommunications)
by
ISBN 13: 9783540730651
Format: Paperback (379 pages) Publisher: Springer Published: 12 Jun 2007